a short note on ASLR, KASLR, and how x86 prefetch timing can leak valid kernel address ranges through a side channel
